modal logic

Results: 1643



#Item
11

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

Add to Reading List

Source URL: drops.dagstuhl.de

- Date: 2017-09-01 10:27:18
    12

    A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic CONCUR 2017, Berlin, Germany Ki Yung Ahn, Ross Horne and Alwen Tiu School of Computer Science and Engineering, Nanyang Technological University,

    Add to Reading List

    Source URL: www.ntu.edu.sg

    - Date: 2017-09-05 03:25:12
      13

      Intuitionistic modal logic in indexed nested sequents Sonia Marin and Lutz Straßburger ´ LIX, Inria, Ecole Polytechnique

      Add to Reading List

      Source URL: anupamdas.com

      - Date: 2017-08-04 11:45:45
        14

        Some Non-Classical Methods in (Epistemic) Modal Logic and Games: A Proposal Can BAS ¸ KENT The Graduate Center of the City University of New York

        Add to Reading List

        Source URL: canbaskent.net

        - Date: 2014-03-06 23:52:50
          15

          Incremental Decision Procedures for Modal Logic with Nominals and Eventualities Gert Smolka Saarland University

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2011-06-26 09:17:12
            16

            Lecture Notes on Proofs as Programs: Modal Logic Frank Pfenning Lecture 2 January 14, 2010

            Add to Reading List

            Source URL: www.cs.cmu.edu

            - Date: 2010-01-15 13:49:06
              17

              Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010

              Add to Reading List

              Source URL: www.cs.cmu.edu

              - Date: 2010-02-11 11:26:12
                18

                Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2015-10-19 12:38:16
                  19

                  1 MODAL LOGIC: A SEMANTIC PERSPECTIVE Patrick Blackburn and Johan van Benthem 1

                  Add to Reading List

                  Source URL: www.illc.uva.nl

                  - Date: 2006-04-27 10:35:42
                    20

                    Lecture Notes on Judgments and Propositions: Modal Logic Frank Pfenning Lecture 1 January 12, 2010

                    Add to Reading List

                    Source URL: www.cs.cmu.edu

                    - Date: 2010-01-12 10:01:42
                      UPDATE